مقدمه: به دلیل وجود عوامل خطر فراوان و ریسک زیاد در مراکز صنعتی فرآیندی، از چندین لایه حفاظتی جهت کاهش خطر و ریسک استفاده می شود. تعیین سطوح یکپارچگی ایمنی برای سیستم های امنیتی مجهز به ابزار دقیق کمک می کند تا از ایمنی کلی فرآیند اطمینان حاصل شود. یکی از روش های تعیین سطح یکپارچگی ایمنی، ریسک گراف است. روش ریسک گراف علی رغم سادگی آن روشی کیفی و وابسته به نظرات شخصی متخصصان است. .روش کار: در ای...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی‌یابی سیستم‌های نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستم‌های تبدیل گراف، از پرکاربردترین سیستم‌های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم‌های پیچیده هستند. اما این سیستم‌ها در فرآی...

فرض کنید یک گراف ساده داده شده است. هر مقدار ویژه ماتریس مجاورت این گراف یک مقدار ویژه آن نامیده می شود. انرژی یک گراف عبارت است از مجموع قدرمطلق های مقادیر ویژه آن. دو گراف با انرژی یکسان گرافهای هم انرژی نامیده می شوند. این مقاله به توصیف تاریخی و شرحی از نتایج جدید در این زمینه می پردازد.

فرض کنید ‎g یک گراف ساده با مجموعه رأس های ‎است. گراف همسایه مشترک که با  ‎ نشان داده می شود، گرافی است با مجموعه رأس های‎  و دو رأس در آن مجاورند اگر دست کم یک همسایه مشترک داشته باشند. در این مقاله گراف همسایه مشترک تعدادی گراف های ترکیبی را محاسبه می کنیم. همچنین به بررسی رابطه همیلتونی بودن گراف و  پرداخته و کران پایینی برای عدد خوشه گراف ‎  برحسب عدد خوشه گراف  به دست می آوریم. در ادامه نش...

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...

برای حل برخی از مشکلات یا برای ساده سازی آنالیز ها در گراف،می توان تغییراتی را در ساختار آن ایجاد کرد. دوگان گراف یکی از مصادیق این تغییر محسوب می شود . دوگان گراف خطی یکی از انواع تعریف شده دوگان گراف است که برای بیان گراف های دارای گره ها ی وزن دار پیشنهاد شده است. در این مقاله مفهومی به عنوان حساب دوگان گراف خطی،بر مبنای این دوگان گراف معرفی شده است. برای این منظور،دوگان خطی(ld1) و دوگان خطی...